$\forall$$x$, $y$:Atom. ($x$ =a $y$ $\sim$ tt) $\Rightarrow$ ($x$ = $y$)